Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog

Source URL: hacken.io

• Cryptocurrencies
• Ethereum
• Alternative currencies
• Blockchains
• Numismatics
• Economy
• Money
• Cross-platform software
• Initial coin offering
• Token
• Kin
• Draft:Bancor protocol

SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva

Source URL: www.lix.polytechnique.fr

• Formal methods
• Algebraic structures
• Abstract interpretation
• Refinement
• Lattice
• Universal quantification
• Mathematics
• Computing
• Theoretical computer science

An Empirical
 
 An Empirical Analysis of Anonymity in Zcash
 


Source URL: georgekap.github.io

Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang1 1 Dacong Yan1

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Abstract data types
• C++ Standard Library
• Associative containers
• Intermodal container
• Container
• Iterator
• Java
• Static single assignment form

Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA

Source URL: gdac.uqam.ca

• Graph theory
• Network theory
• Bipartite graphs
• Graph operations
• Centrality
• Network analysis
• Distance
• Graph
• Connectivity
• Tree
• Shortest path problem
• Degeneracy

Knots, three-manifolds and instantons P. B. Kronheimer and T. S. Mrowka Low-dimensional topology is the study of manifolds and cell complexes in dimensions four and below. Input from geometry and analysis has been centra

Source URL: eta.impa.br

• Topology
• Mathematics
• Theoretical physics
• Algebraic topology
• Symplectic topology
• Homology theory
• Fellows of the Royal Society
• Floer homology
• Orbifold
• Manifold
• Low-dimensional topology
• Fundamental group

Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer †

Source URL: eta.impa.br

• Hamiltonian mechanics
• Mathematical analysis
• Mathematics
• Theoretical physics
• Symplectic integrator
• Semi-implicit Euler method
• Multisymplectic integrator
• Variational integrator
• Leapfrog integration
• Integrable system
• Hamiltonian vector field
• Hamiltonian system

Large-scale Analysis of Counseling Conversations: 
 An Application of NLP to Mental Health Tim Althoff*, Kevin Clark*, Jure Leskovec @timalthoff  

Source URL: www.timalthoff.com

• Psychiatry
• Health
• Psychology
• Disability
• Mental health
• Positive psychology
• Social constructionism
• Counselor
• Psychotherapy
• Mental disorder
• School counselor
• Clinical mental health counseling

A Comprehensive Formal Security Analysis of OAuth 2.0 arXiv:1601.01229v3 [cs.CR] 27 MayDaniel Fett

Source URL: arxiv.org

• Computer access control
• Computer security
• Identity management
• Federated identity
• Cloud standards
• OAuth
• Identity provider
• OpenID
• Single sign-on
• Authentication
• Relying party
• SAML-based products and services